package aspects;

public aspect Checkpoint {

}
